Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving
[计] 定理证明
system ['sɪstəm]
n. 体系，系统;制度;身体;方法;
sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

Is there a limit to how many I can purchase at this price?
我买这种东西在数量上有什么限制吗？
Where are you going?
你要去哪里？
If I can find you any support, would you be interested?
如果我能给你找到资助，你会感兴趣吗？
更多情景英语 ›

🔤 更多 T 开头的单词

tar-board
taurylic acid
terminological data bank
think with
timebomb
titmice
transcendentality
trial of fact
全部 T 开头单词 ›